Author = Sedaghat, Yasser
Number of Articles: 2
A State-aware Approach for Robustness Testing of Embedded Real-Time Operating Systems

Volume 2, Issue 1, September 2019, Pages 43-52

10.22067/cke.v2i1.74607

Raheleh Shahpasand; Samad Paydar; Yasser Sedaghat; Reza Ramezani

Safety Verification of Rate-Monotonic Least-Splitting Real-Time Scheduler on Multiprocessor System

Volume 1, Issue 1, January 2018, Pages 43-52

10.22067/cke.v1i2.58792

Amin Rezaeian; Abolfazl Ghavidel; Yasser Sedaghat

Computer and Knowledge Engineering

Journal Archive